go/types.unifier.tracef (method)
10 uses
go/types (current package)
unify.go#L88: func (u *unifier) tracef(format string, args ...interface{}) {
unify.go#L144: u.tracef("%s ⇄ %s", u.x.tparams[i], u.y.tparams[j])
unify.go#L236: u.tracef("%s ➞ %s", d.tparams[i], typ)
unify.go#L288: u.tracef("%s ≡ %s", x, y)
unify.go#L294: u.tracef("depth %d >= %d", u.depth, unificationDepthLimit)
unify.go#L305: u.tracef("%s ≢ %s", x, y)
unify.go#L317: u.tracef("under %s ≡ %s", nx, y)
unify.go#L322: u.tracef("%s ≡ under %s", x, ny)
unify.go#L375: u.tracef("core %s ≡ %s", x, y)
unify.go#L383: u.tracef("%s ≡ core %s", x, y)